COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(declare 
C00004 ENDMK
C⊗;
(declare 
 (fasload meter)
 (load "metint.lsp")
 (setq meter:count-only T))
(declare 
 (setq local-objects-of-interest  '((stak "Calls to STAK"))))
(declare 
 (fixnum (tak fixnum fixnum fixnum))
 (fixnum (stak))
 (special x y z)
 (fixnum x y z))

(meter:meter Stak
 (meter-funs #.(all-objs)
	     (defun tak (x y z)
		    (mn "Binds" binds 3)
		    (stak))

	     (defun stak ()
		    (cond ((not (< y x))	;x≤y
			   z)
			  (t (mn "Binds" binds 12.)
			     (let ((x (let ((x (1- x))
					    (y y)
					    (z z))
					   (stak)))
				   (y (let ((x (1- y))
					    (y z)
					    (z x))
					   (stak)))
				   (z (let ((x (1- z))
					    (y x)
					    (z y))
					   (stak))))
				  (stak)))))))

(grindef meter:report-stak)